Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lee mas
Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools
The objective of this book is to introduce basic model-based FDI schemes, advanced analysis and design algorithms and the ...
Lee mas
Model-based Process Supervision : A Bond Graph Approach
Model-based fault detection and isolation requires a mathematical model of the system behaviour. Modelling is important and ...
Lee masModelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems
This monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear ...
Lee masNonlinear Observers and Applications
The problem of state reconstruction in dynamical systems, known as observer problem, is undoubtedly crucial for controlling ...
Lee mas
Underwater Robots : Motion and Force Control of Vehicle-Manipulator Systems
This book deals with the main control aspects in underwater manipulation tasks. The mathematical model with significant impact ...
Lee mas
